Skip to content

(promote) release: build v5.11.4013#1138

Closed
jdpleiness wants to merge 1 commit intointernal/release-v5.11.4013from
promote/release-v5.11.4013
Closed

(promote) release: build v5.11.4013#1138
jdpleiness wants to merge 1 commit intointernal/release-v5.11.4013from
promote/release-v5.11.4013

Conversation

@jdpleiness
Copy link
Copy Markdown
Contributor

Test plan: automated release PR, CI will perform additional checks

{"version":"v5.11.4013","inputs":"server=5.11.4013","type":"patch"}
@sourcegraph-buildkite
Copy link
Copy Markdown

@jdpleiness jdpleiness closed this Jan 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants